--- VBox.sh-orig	2008-08-28 08:33:10.000000000 +0200
+++ VBox.sh	2008-09-04 20:41:23.653351415 +0200
@@ -88,6 +88,9 @@
   VirtualBox)
     exec "$INSTALL_DIR/VirtualBox" "$@"
     ;;
+  VirtualBox3)
+    exec "$INSTALL_DIR/VirtualBox3" "$@"
+    ;;
   VBoxManage)
     exec "$INSTALL_DIR/VBoxManage" "$@"
     ;;
